Synthesizing judgements: a functional equations approach
نویسندگان
چکیده
منابع مشابه
Convergence of an Approach for Solving Fredholm Functional Integral Equations
In this work, we give a product Nyström method for solving a Fredholm functional integral equation (FIE) of the second kind. With this method solving FIE reduce to solving an algebraic system of equations. Then we use some theorems to prove the existence and uniqueness of the system. Finally we investigate the convergence of the method.
متن کاملA fixed point approach to the stability of additive-quadratic-quartic functional equations
In this article, we introduce a class of the generalized mixed additive, quadratic and quartic functional equations and obtain their common solutions. We also investigate the stability of such modified functional equations in the non-Archimedean normed spaces by a fixed point method.
متن کاملA FIXED POINT APPROACH TO THE INTUITIONISTIC FUZZY STABILITY OF QUINTIC AND SEXTIC FUNCTIONAL EQUATIONS
The fixed point alternative methods are implemented to giveHyers-Ulam stability for the quintic functional equation $ f(x+3y)- 5f(x+2y) + 10 f(x+y)- 10f(x)+ 5f(x-y) - f(x-2y) = 120f(y)$ and thesextic functional equation $f(x+3y) - 6f(x+2y) + 15 f(x+y)- 20f(x)+15f(x-y) - 6f(x-2y)+f(x-3y) = 720f(y)$ in the setting ofintuitionistic fuzzy normed spaces (IFN-spaces). This methodintroduces a met...
متن کاملSynthesizing Functional Reactive Programs
We present the first method to synthesize functional reactive programs from temporal logic specifications. Existing algorithms for the synthesis of reactive systems target finite-state implementations, such as hardware circuits, but fail when it comes to complex data transformations. Reactive programs instead provide a promising alternative to overcome this obstacle. They allow for abstraction ...
متن کاملQuadratic $alpha$-functional equations
In this paper, we solve the quadratic $alpha$-functional equations $2f(x) + 2f(y) = f(x + y) + alpha^{-2}f(alpha(x-y)); (0.1)$ where $alpha$ is a fixed non-Archimedean number with $alpha^{-2}neq 3$. Using the fixed point method and the direct method, we prove the Hyers-Ulam stability of the quadratic $alpha$-functional equation (0.1) in non-Archimedean Banach spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Modelling
سال: 1987
ISSN: 0270-0255
DOI: 10.1016/0270-0255(87)90487-8